University of Bergen

Results: 382



#Item
11A taxonomy of mathematical mistakes A taxonomy of mathematical mistakes Marc Bezem Department of Informatics University of Bergen

A taxonomy of mathematical mistakes A taxonomy of mathematical mistakes Marc Bezem Department of Informatics University of Bergen

Add to Reading List

Source URL: www.math.ias.edu

- Date: 2016-07-28 14:34:19
    12On Exact Algorithms for Treewidth HANS L. BODLAENDER, Utrecht University, the Netherlands FEDOR V. FOMIN, University of Bergen, Norway ARIE M. C. A. KOSTER, Aachen University, Germany DIETER KRATSCH, Universit´e de Metz

    On Exact Algorithms for Treewidth HANS L. BODLAENDER, Utrecht University, the Netherlands FEDOR V. FOMIN, University of Bergen, Norway ARIE M. C. A. KOSTER, Aachen University, Germany DIETER KRATSCH, Universit´e de Metz

    Add to Reading List

    Source URL: users.uoa.gr

    - Date: 2014-06-11 17:30:28
      13Model-Based Verification of the DMAMAC Protocol for Real-time Process Control Admar Ajith Kumar Somappa Bergen University College University of Agder

      Model-Based Verification of the DMAMAC Protocol for Real-time Process Control Admar Ajith Kumar Somappa Bergen University College University of Agder

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2015-08-25 10:50:17
        14Welcome IPEC 2016: 24–26 August, Aarhus Frances Rosamond, Editor, University of Bergen.

        Welcome IPEC 2016: 24–26 August, Aarhus Frances Rosamond, Editor, University of Bergen.

        Add to Reading List

        Source URL: fpt.wdfiles.com

        - Date: 2016-05-22 14:56:12
          15Code, Camera, Action: How Software Developers Document and Share Program Knowledge Using YouTube Laura MacLeod, Margaret-Anne Storey and Andreas Bergen University of Victoria, Victoria, BC, Canada {lmacleod, mstorey, and

          Code, Camera, Action: How Software Developers Document and Share Program Knowledge Using YouTube Laura MacLeod, Margaret-Anne Storey and Andreas Bergen University of Victoria, Victoria, BC, Canada {lmacleod, mstorey, and

          Add to Reading List

          Source URL: keg.cs.uvic.ca

          - Date: 2015-12-17 18:45:05
            16Algebraic Combinators for Data Dependencies and Their Applications Eva Burrows∗ Bergen Language Design Laboratory Department of Informatics University of Bergen, Norway

            Algebraic Combinators for Data Dependencies and Their Applications Eva Burrows∗ Bergen Language Design Laboratory Department of Informatics University of Bergen, Norway

            Add to Reading List

            Source URL: icetcs.ru.is

            - Date: 2015-10-05 07:15:12
              17Community Detec-on on a GPU Fredrik Manne, Md. Naim University of Bergen, Norway Mahantesh Halappanavar, Antonio Tumeo Pacific Northwest Na-onal Laboratories, USA

              Community Detec-on on a GPU Fredrik Manne, Md. Naim University of Bergen, Norway Mahantesh Halappanavar, Antonio Tumeo Pacific Northwest Na-onal Laboratories, USA

              Add to Reading List

              Source URL: cscresearchblog.files.wordpress.com

              - Date: 2016-05-11 16:13:32
                18L(2, 1, 1)-Labeling Is NP-Complete for Trees Petr A. Golovach 1 , Bernard Lidick´y 2 , and Dani¨el Paulusma 1 University of Bergen, Bergen, Norway

                L(2, 1, 1)-Labeling Is NP-Complete for Trees Petr A. Golovach 1 , Bernard Lidick´y 2 , and Dani¨el Paulusma 1 University of Bergen, Bergen, Norway

                Add to Reading List

                Source URL: orion.math.iastate.edu

                - Date: 2014-08-22 14:45:42
                  1916th International FRISP - Workshop in Bergen Geophysical Institute University of Bergen, Norway Hot water drilling on the Amery Ice Shelf, East Antarctica Mike Craven, Alan Elcheikh, Russell Brand, Ian Allison

                  16th International FRISP - Workshop in Bergen Geophysical Institute University of Bergen, Norway Hot water drilling on the Amery Ice Shelf, East Antarctica Mike Craven, Alan Elcheikh, Russell Brand, Ian Allison

                  Add to Reading List

                  Source URL: folk.uib.no

                  - Date: 2002-11-14 05:44:04
                    20WORKING PAPERS FROM THE WITTGENSTEIN ARCHIVES AT THE UNIVERSITY OF BERGEN NO.7, 1993 Michael Biggs and Alois Pichler Wittgenstein: Two Source Catalogues and a Bibliography Catalogues of the Published Texts and of the Pu

                    WORKING PAPERS FROM THE WITTGENSTEIN ARCHIVES AT THE UNIVERSITY OF BERGEN NO.7, 1993 Michael Biggs and Alois Pichler Wittgenstein: Two Source Catalogues and a Bibliography Catalogues of the Published Texts and of the Pu

                    Add to Reading List

                    Source URL: wab.uib.no

                    - Date: 2005-03-16 04:12:58